Schneider, Sven and Borgström, Johannes and Nestmann, Uwe (2008). Towards the application of process calculi in the domain of peer-to-peer algorithms. Autonomous Systems–Self-Organization, Management, and Control. Springer Netherlands, 97–104.

Lau, Hannes and Nestmann, Uwe (2011). Java Goes TLA+. TASE. IEEE Computer Society, 117-124.

Peters, Kirstin and Nestmann, Uwe (2012). Is It a "Good" Encoding of Mixed Choice?. FoSSaCS. Springer, 210-224.

Schneider, Sven and Nestmann, Uwe (2011). Rigorous Discretization of Hybrid Systems Using Process Calculi. FORMATS. Springer, 301-316.

Sarrouh, Nadim and Blankenstein, Oliver and Nestmann, Uwe (2010). Service-Orientierte Unterstützung des nationalen Früherkennungsprogramms für Kinder. GI Jahrestagung (1). GI, 229-234.

Karcher, David S. and Nestmann, Uwe (2015). Higher-Order Dynamics in Event Structures. ICTAC. Springer, 258-271.

Schneider, Sven and Schmuck, Anne-Kathrin and Nestmann, Uwe and Raisch, Jörg (2014). Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata. WODES, 214-221.

Schmuck, Anne-Kathrin and Schneider, Sven and Raisch, Jörg and Nestmann, Uwe (2014). Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively. WODES, 286-293.

Arbach, Youssef and Karcher, David and Peters, Kirstin and Nestmann, Uwe (2015). Dynamic Causality in Event Structures. FORTE. Springer, 83-97.

Nestmann, Uwe (2012). Theoretische Grundlagen der Informatik 1 (TheGI1). TU Berlin

Goltz, Ursula and Nestmann, Uwe and Peters, Kirstin and Schicke, Jens-Wolfhard (2010). Synchronous and Asynchronous Interaction in Distributed Systems.

Benjamin Bisping and Uwe Nestmann (2019). Computing Coupled Similarity. Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS2019, 244–261.

Nestmann, Uwe und Wilhelm-Weidner, Arno (2014). Vorlesungen innovativ gestalten, chapter Screencasts Pro:Wie Lehrvideos die Vorlesung ergänzen können. BELTZ Verlag, 149–158.

Bisping, Benjamin and Brodmann, Paul-David and Jungnickel, Tim and Rickmann, Christina and Seidler, Henning and Stüber, Anke and Wilhelm-Weidner, Arno and Peters, Kirstin and Nestmann, Uwe (2016). Mechanical Verification of a Constructive Proof for FLP. International Conference on Interactive Theorem Proving. Springer, 107–122.

Adameit, Manuel and Peters, Kirstin and Nestmann, Uwe (2017). Session Types for Link Failures.

Peters, Kirstin and Jens-Wolfhard Schicke-Uffmann and Goltz, Ursula and Nestmann, Uwe (2016). Synchrony versus causality in distributed systems. , 1459–1498.

Gebler, Daniel and Peters, Kirstin (2016). Proceedings of the Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics.

Rickmann, Christina and Wagner, Christoph and Nestmann, Uwe and Schmid, Stefan (2016). Topological Self-Stabilization with Name-Passing Process Calculi. 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, 19:1–19:15.

Rachele Fuzzati and Massimo Merro and Uwe Nestmann (2007). Distributed Consensus, revisited. Acta Inf., 377-425.

Bisping, Benjamin and Brodmann, Paul-David and Jungnickel, Tim and Rickmann, Christina and Seidler, Henning and Stüber, Anke and Wilhelm-Weidner, Arno and Peters, Kirstin and Nestmann, Uwe (2016). A Constructive Proof for FLP. Archive of Formal Proofs

Adameit, Manuel and Peters, Kirstin and Nestmann, Uwe (2016). Session Types for Link Failures (Technical Report). arXiv preprint arXiv:1607.07286

Uwe Nestmann and Björn Victor (1998). Calculi for Mobile Processes - Bibliography and Web Pages. Bulletin of the EATCS

Aceto, Luca and Baeten, Jos CM and Fokkink, Wan and Ingolfsdottir, Anna and Nestmann, Uwe (2008). Applying Concurrency Research in Industry Report on a Strategic Workshop. Bulletin of the EATCS, 113–129.

Peters, Kirstin and Nestmann, Uwe (2012). Is it a "Good" Encoding of Mixed Choice? (Technical Report). CoRR

Schneider, Sven and Nestmann, Uwe (2014). Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata. CoRR

Arbach, Youssef and Karcher, David and Peters, Kirstin and Nestmann, Uwe (2015). Dynamic Causality in Event Structures (Technical Report). CoRR

Peters, Kirstin and Nestmann, Uwe (2010). Breaking Symmetries. CoRR

Hatzel, Meike and Wagner, Christoph and Peters, Kirstin and Nestmann, Uwe (2015). Encoding CSP into CCS (Extended Version). CoRR

Peters, Kirstin and Yonova-Karbe, Tsvetelina and Nestmann, Uwe (2014). Matching in the Pi-Calculus (Technical Report). CoRR

Schmuck, Anne-Kathrin and Schneider, Sven and Raisch, Jörg and Nestmann, Uwe (2015). Supervisory control synthesis for deterministic context free specification languages. Discrete Event Dynamic Systems. Springer US, 1-28.

Schmuck, Anne-Kathrin and Schneider, Sven and Raisch, Jörg and Nestmann, Uwe (2016). Supervisory control synthesis for deterministic context free specification languages. Discrete Event Dynamic Systems. Springer US, 5–32.

Sébastien Briais and Uwe Nestmann (2006). Open Bisimulation, Revisited. Electr. Notes Theor. Comput. Sci., 109-123.

Rachele Fuzzati and Uwe Nestmann (2006). Much Ado About Nothing?. Electr. Notes Theor. Comput. Sci., 167-171.

Flavio Corradini and Uwe Nestmann (2004). Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. Electr. Notes Theor. Comput. Sci., 1-3.

Uwe Nestmann and Prakash Panangaden (2002). Preface. Electr. Notes Theor. Comput. Sci.

Uwe Nestmann (1998). On the Expressive Power of Joint Input. Electr. Notes Theor. Comput. Sci.

Uwe Nestmann and Benjamin C. Pierce (1998). Preface. Electr. Notes Theor. Comput. Sci.

Uwe Nestmann (1997). What is a `good' encoding of guarded choice?. Electr. Notes Theor. Comput. Sci.

Nestmann, Uwe (2013). 3.12 Verifying Consensus... Using Process Calculi, State Machines, and Proof Checkers. Formal Verification of Distributed Algorithms, 10.

Uwe Nestmann and Hans Hüttel and Josva Kleist and Massimo Merro (2002). Aliasing Models for Mobile Objects. Inf. Comput., 3-33.

Massimo Merro and Josva Kleist and Uwe Nestmann (2002). Mobile Objects as Mobile Processes. Inf. Comput., 195-241.

Uwe Nestmann (2000). What is a "Good" Encoding of Guarded Choice?. Inf. Comput., 287-319.

Uwe Nestmann and Benjamin C. Pierce (2000). Decoding Choice Encodings. Inf. Comput., 1-59.

Luca Aceto and Jos C. M. Baeten and Wan Fokkink and Anna Ingólfsdóttir and Uwe Nestmann (2009). Preface. J. Log. Algebr. Program.

Uwe Nestmann and Björn Victor (2005). Guest editors' introduction: Special issue on The pi-calculus. J. Log. Algebr. Program., 1-2.

Johannes Borgström and Uwe Nestmann (2005). On bisimulations for the spi calculus. Mathematical Structures in Computer Science, 487-552.

Gorla, Daniele and Nestmann, Uwe (2014). Full abstraction for expressiveness: history, myths and facts. Mathematical Structures in Computer Science, 1-16.

Gorla, Daniele and Nestmann, Uwe (2016). Full abstraction for expressiveness: History, myths and facts. Mathematical Structures in Computer Science, 639–654.

Peters, Kirstin and Nestmann, Uwe (2016). Breaking Symmetries. Mathematical Structures in Computer Science, 1054–1106.

Uwe Nestmann and Prakash Panangaden (2003). Guest Editors' Foreword. Nord. J. Comput., 69.